AutoFOCUS and the MoDe Tool
نویسندگان
چکیده
Software engineering for distributed automotive applications is shifting from a subsystem-level perspcective, where the focus is on optimization of a single electronic control unit, towards a system-level view. However, optimization of distributed systems with respect to non-functional properties remains a challenging task. The goal of the MoDe (Model Based Deployment) approach is to give early guidance for design decisions using architectural-level models of the system. In its current version, MoDe supports those architecture-level decisions that require a performance model of the overall system. The MoDe approach is based on a formal design notation, AutoFOCUS, which is used for specifying system models, functional models enriched with abstractions for communication and scheduling. The MoDe tool offers automated support for compiling platform abstractions into the systemmodel, so MoDe allows a highly flexible evaluation of different architectural choices.
منابع مشابه
Tool Supported Specification and Simulation of Distributed Systems
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid illdefined specifications, consistency conditions on these system descr...
متن کاملAutoFocus: A Tool for Distributed Systems Specification
We describe the concept of AutoFocus, a tool for the speci-cation of distributed systems. AutoFocus is based on the formal development method Focus and uses graphical description formalisms embedded into its semantical framework, thus ooering well-accepted notations while retaining the ability for exact consistency checks of a system under development. The tool uses a client/server architecture...
متن کاملToolsupported Speciication and Simulation of Distributed Systems ?
We present prominent features of AutoFocus, a tool prototype for the formally based development of reactive systems. AutoFocus supports system development o ering integrated, comprehensive and mainly graphical description techniques to specify both di erent views and di erent levels of abstraction of the system. To avoid ill-de ned speci cations, consistency conditions on these system descripti...
متن کاملAutofocus -a Toolfor Distributed Systems Speciication ?
We describe the concept of AutoFocus a tool for the speci cation of distributed systems AutoFocus is based on the formal devel opment method Focus and uses graphical description formalisms embed ded into its semantical framework thus o ering well accepted notations while retaining the ability for exact consistency checks of a system under development The tool uses a client server architecture w...
متن کاملA Component-Oriented Architecture for the CASE-Tool AUTOFOCUS
In this paper we explore how the componentware paradigm can be used for realizing a distributed multi-user CASE tool. The case study concentrates on the repository subsystem, as this is the most critical component with respect to the overall design and has strong implications on the possible working modes available to the developers. The proposed architecture will be integrated into the existin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003